GermanWikipedia - /page/entry.mu

Micron Document

<!DOCTYPE html>

<title>Robert Floyd</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Robert Floyd</span></h1>

</header>

</div>

<p><b>Robert „Bob“ W Floyd</b> (* <a href="8._Juni" title="8. Juni">8. Juni</a> <a href="1936" title="1936">1936</a> in <a href="New_York_City" title="New York City">New York City</a>; † <a href="25._September" title="25. September">25. September</a> <a href="2001" title="2001">2001</a> in <a href="Stanford_(Kalifornien)" title="Stanford (Kalifornien)">Stanford</a>, <a href="Kalifornien" title="Kalifornien">Kalifornien</a>) war ein <a href="Vereinigte_Staaten" title="Vereinigte Staaten">US</a>-amerikanischer <a href="Informatik" title="Informatik">Informatiker</a> und <a href="Turing_Award" title="Turing Award">Turing-Preisträger</a>. Er ließ seinen ursprünglichen zweiten Vornamen auf „W“ ändern, jedoch betonte er oft, dass „W.“ eine gültige Abkürzung dafür sei.<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup>

</p>

<div class="mw-heading mw-heading2"><h2 id="Leben">Leben</h2></div>

<p>Floyd wurde 1936 in New York City geboren und mit sechs Jahren als Wunderkind erkannt. Er übersprang drei Schulklassen und beendete die Schule mit 14. An der <a href="University_of_Chicago" title="University of Chicago">University of Chicago</a> erhielt er dank eines Stipendiums 1953 (also mit 17 Jahren) einen <a href="Bachelor" title="Bachelor">Bachelor</a>-Grad in <a href="Sieben_freie_K%C3%BCnste#Liberal_Arts" title="Sieben freie Künste">Liberal Arts</a>, einen zweiten Bachelor-Grad erhielt er 1958 in Physik.

</p><p>Schon während seines Studiums wurde er Computer-Operator und später Programmierer am <a href="Illinois_Institute_of_Technology" title="Illinois Institute of Technology">Illinois Institute of Technology</a>. 1959 begann er, mehrere bemerkenswerte Artikel in Computer-Journalen zu publizieren (<a href="Donald_E._Knuth" title="Donald E. Knuth">Donald E. Knuth</a>: „Als ich 1966 Material für eine Monographie zum Thema <a href="Parser" title="Parser">Parsen</a> sammelte, kam ich zu dem Schluss, dass bis dahin nur fünf wirklich gute Papers über Compiler geschrieben worden waren, und Bob war der Autor von allen fünf.“<sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup>). 1962 wurde er <i>Senior Project Scientist</i> bei <a href="Computer_Associates" class="mw-redirect" title="Computer Associates">Computer Associates</a>.

</p><p>1965 wurde er zum außerordentlichen Professor an der <a href="Carnegie_Mellon_University" title="Carnegie Mellon University">Carnegie Mellon University</a> berufen und kam in den redaktionellen Beirat des <a href="Journal_of_the_ACM" title="Journal of the ACM">Journal of the ACM</a>. 1968 ging er an die <a href="Stanford_University" title="Stanford University">Stanford University</a>, wo er 1970 eine ordentliche Professur erhielt und von 1973 bis 1975 die Fakultät für Informatik leitete. Er erreichte diese Position ohne einen Doktortitel.

Ein Jahr verbrachte Floyd auch an der <a href="Naval_Postgraduate_School" title="Naval Postgraduate School">Naval Postgraduate School</a>. 1994 ging er in den Ruhestand. Zu Floyds Doktoranden gehören die späteren Turing-Preisträger <a href="Robert_Tarjan" title="Robert Tarjan">Robert Tarjan</a> und <a href="Ronald_L._Rivest" title="Ronald L. Rivest">Ronald L. Rivest</a>.

</p><p>Zu seinen Beiträgen gehören <a href="Effizienz_(Informatik)" title="Effizienz (Informatik)">effiziente</a> Algorithmen zum Finden aller kürzesten Wege in einem Graphen (<a href="Algorithmus_von_Floyd_und_Warshall" title="Algorithmus von Floyd und Warshall">Algorithmus von Floyd und Warshall</a>), zum Parsen und zur <a href="Bildbearbeitung" title="Bildbearbeitung">Bildbearbeitung</a> (<a href="Floyd-Steinberg-Algorithmus" title="Floyd-Steinberg-Algorithmus">Floyd-Steinberg-Algorithmus</a>), sowie die Entdeckung von <a href="Bottom-Up-Heapsort" title="Bottom-Up-Heapsort">Bottom-Up-Heapsort</a>. Aber seine wahrscheinlich wichtigste Leistung war seine Pionierarbeit auf dem Gebiet der <a href="Verifizierung" title="Verifizierung">Programmverifikation</a> mittels <a href="Assertion_(Informatik)" title="Assertion (Informatik)">logischer Zusicherungen</a> in seinem 1967 erschienenen Artikel <i>Assigning Meanings to Programs</i>. Dies war ein wichtiger Beitrag, der später zum <a href="Hoare-Kalk%C3%BCl" title="Hoare-Kalkül">Hoare-Kalkül</a> führte.

</p><p>Mit <a href="Manuel_Blum" title="Manuel Blum">Manuel Blum</a>, <a href="Vaughan_Pratt" title="Vaughan Pratt">Vaughan Pratt</a>, <a href="Robert_Tarjan" title="Robert Tarjan">Robert Tarjan</a> und <a href="Ron_Rivest" class="mw-redirect" title="Ron Rivest">Ron Rivest</a><sup id="cite_ref-3" class="reference"><a href="#cite_note-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup> entwickelte er 1973 einen approximativen Selektionsalgorithmus (Bestimmung der k-ten kleinsten Zahl in Listen und Arrays), den <i>median of median</i> Algorithmus.

</p><p>Floyd arbeitete eng mit <a href="Donald_E._Knuth" title="Donald E. Knuth">Donald E. Knuth</a> zusammen. Er war der Hauptrezensent für Knuths wegweisendes Buch <i><a href="The_Art_of_Computer_Programming" title="The Art of Computer Programming">The Art of Computer Programming</a></i>, und er ist derjenige, der in diesem Werk am häufigsten zitiert wird.

</p><p>Floyd erhielt 1978 den <a href="Turing_Award" title="Turing Award">Turing Award</a> für seinen Einfluss auf die Methoden zur Erzeugung effizienter und verlässlicher Software und für seinen Beitrag zur Gründung der folgenden Gebiete der Informatik: Theorie des Parsens, Semantik von Programmiersprachen, automatische Programmverifikation, automatische Programmsynthese und Analyse von Algorithmen. Daneben erhielt er unter anderem 1991 den <a href="Computer_Pioneer_Award" title="Computer Pioneer Award">Computer Pioneer Award</a> der IEEE und ist Fellow der <a href="American_Academy_of_Arts_and_Sciences" title="American Academy of Arts and Sciences">American Academy of Arts and Sciences</a>, der <a href="American_Association_for_the_Advancement_of_Science" title="American Association for the Advancement of Science">American Association for the Advancement of Science</a> und der <a href="Association_for_Computing_Machinery" title="Association for Computing Machinery">ACM</a>.

</p><p>Floyd war zweimal verheiratet (zuletzt mit der Informatikerin <a href="Christiane_Floyd" title="Christiane Floyd">Christiane Floyd</a>) und hatte drei Söhne und eine Tochter. 2001 starb er an der <a href="Pick-Krankheit" title="Pick-Krankheit">Pick-Krankheit</a>.

</p>

<div class="mw-heading mw-heading2"><h2 id="Schriften">Schriften</h2></div>

<ul><li><i>A descriptive language for symbol manipulation.</i> 1961.</li>

<li><i>Syntactic analysis and operator precedence.</i> 1963.</li>

<li><i>The syntax of programming languages – A survey.</i> 1964.</li>

<li><a rel="nofollow" class="external text" href="http://www.cs.virginia.edu/~weimer/2007-615/reading/FloydMeaning.pdf"><i>Assigning Meaning to Programs.</i></a> (PDF; 668 kB) In: <a href="Jacob_T._Schwartz" title="Jacob T. Schwartz">Jacob T. Schwartz</a> (Hrsg.): <i>Proceedings of Symposium on Applied Mathematics.</i> Vol. 19. <a href="American_Mathematical_Society" title="American Mathematical Society">American Mathematical Society</a>, 1967, S. 19–32.</li>

<li>mit Richard Beigel: <i>The language of machines.</i> Computer Science Press, 1994 (deutsch <i>Die Sprache der Maschinen.</i> International Thomson Publishing, Bonn, 1996, ISBN 3-8266-0216-1).</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Literatur">Literatur</h2></div>

<ul><li><a href="Donald_E._Knuth" title="Donald E. Knuth">Donald E. Knuth</a>: <i>Robert W Floyd, In Memoriam.</i> In: <i>SIGACT News.</i> 34, 4, 2003, S. 3–13. Neudruck in: <i>IEEE Annals of the History of Computing.</i> 26, 2004.</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>

<ul><li><a rel="nofollow" class="external text" href="http://news-service.stanford.edu/news/2001/november7/floydobit-117.html"><i>Robert Floyd, pioneer in computer programming, dead at 65</i>, Stanford Report, 7. November 2001</a> (englisch)</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Quellen">Quellen</h2></div>

<li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text">Donald E. Knuth: <i>Robert W Floyd, In Memoriam</i></span>

</li>

<li id="cite_note-2"><span class="mw-cite-backlink"><a href="#cite_ref-2">↑</a></span> <span class="reference-text">Donald E. Knuth: <i>Memorial Resolution Robert W. Floyd (1936–2001)</i> (<style data-mw-deduplicate="TemplateStyles:r261891140">

/* start https://de.wikipedia.org/ */

.mw-parser-output .webarchiv-memento a{color:inherit}

/* end https://de.wikipedia.org/ */

</style><a rel="nofollow" class="external text" href="https://web.archive.org/web/20100703021504/http://facultysenate.stanford.edu/memorial_resolutions/Floyd_Robert_SenD5513.pdf">online</a> (<span class="webarchiv-memento"><a href="Webarchivierung#Begrifflichkeiten" title="Webarchivierung">Memento</a></span> vom 3. Juli 2010 im <i><a href="Internet_Archive" title="Internet Archive">Internet Archive</a></i>); PDF; 12 kB)</span>

</li>

<li id="cite_note-3"><span class="mw-cite-backlink"><a href="#cite_ref-3">↑</a></span> <span class="reference-text">M. Blum, R. W. Floyd, V. R. Pratt, R. Rivest, R. E. Tarjan, <i>Time bounds for selection</i>, Journal of Computer and System Sciences, Band 7, 1973, S. 448–461.</span>

</li>

</ol>

/* start https://de.wikipedia.org/ */

.mw-parser-output div.klappleiste{border:1px solid var(--dewiki-rahmenfarbe1);clear:both;font-size:95%;box-sizing:border-box;margin-top:1.5em;padding:2px}.mw-parser-output div.klappleiste:after{clear:both;content:"";display:block}.mw-parser-output div.klappleiste-bild{float:left;padding:2px}.mw-parser-output div.klappleiste-kopf{background:var(--dewiki-hintergrundfarbe5);color:var(--color-base,#202122);text-align:center;font-weight:bold}.mw-parser-output div.klappleiste.mw-collapsed .klappleiste-bild{display:none}.mw-parser-output div.klappleiste+div.klappleiste,.mw-parser-output div.klappleiste+link+div.klappleiste,.mw-parser-output div.klappleiste+link+link+div.klappleiste,.mw-parser-output div.klappleiste+link+style+div.klappleiste,.mw-parser-output div.klappleiste+style+div.klappleiste,.mw-parser-output div.klappleiste+style+style+div.klappleiste,.mw-parser-output div.klappleiste+style+link+div.klappleiste{margin-top:-1px}@media screen{html.skin-theme-clientpref-night .mw-parser-output .klappleiste-bild span[typeof="mw:File"]:not(.skin-invert-image) img{background-color:#c8ccd1}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .klappleiste-bild span[typeof="mw:File"]:not(.skin-invert-image) img{background-color:#c8ccd1}}

/* end https://de.wikipedia.org/ */

</style>

<div class="klappleiste-kopf">Träger des <a href="Turing_Award" title="Turing Award">Turing Awards</a></div>

<p>1966: <a href="Alan_J._Perlis" title="Alan J. Perlis">Perlis</a> |

1967: <a href="Maurice_V._Wilkes" title="Maurice V. Wilkes">Wilkes</a> |

1968: <a href="Richard_Hamming" title="Richard Hamming">Hamming</a> |

1969: <a href="Marvin_Minsky" title="Marvin Minsky">Minsky</a> |

1970: <a href="James_H._Wilkinson" title="James H. Wilkinson">Wilkinson</a> |

1971: <a href="John_McCarthy" title="John McCarthy">McCarthy</a> |

1972: <a href="Edsger_W._Dijkstra" title="Edsger W. Dijkstra">Dijkstra</a> |

1973: <a href="Charles_Bachman" title="Charles Bachman">Bachman</a> |

1974: <a href="Donald_E._Knuth" title="Donald E. Knuth">Knuth</a> |

1975: <a href="Allen_Newell" title="Allen Newell">Newell</a>, <a href="Herbert_A._Simon" title="Herbert A. Simon">Simon</a> |

1976: <a href="Michael_O._Rabin" title="Michael O. Rabin">Rabin</a>, <a href="Dana_Scott" title="Dana Scott">Scott</a> |

1977: <a href="John_W._Backus" title="John W. Backus">Backus</a> |

1978: <a class="mw-selflink selflink">Floyd</a> |

1979: <a href="Kenneth_E._Iverson" title="Kenneth E. Iverson">Iverson</a> |

1980: <a href="Tony_Hoare" title="Tony Hoare">Hoare</a> |

1981: <a href="Edgar_F._Codd" title="Edgar F. Codd">Codd</a> |

1982: <a href="Stephen_A._Cook" title="Stephen A. Cook">Cook</a> |

1983: <a href="Ken_Thompson" title="Ken Thompson">Thompson</a>, <a href="Dennis_Ritchie" title="Dennis Ritchie">Ritchie</a> |

1984: <a href="Niklaus_Wirth" title="Niklaus Wirth">Wirth</a> |

1985: <a href="Richard_M._Karp" title="Richard M. Karp">Karp</a> |

1986: <a href="John_E._Hopcroft" title="John E. Hopcroft">Hopcroft</a>, <a href="Robert_Tarjan" title="Robert Tarjan">Tarjan</a> |

1987: <a href="John_Cocke" title="John Cocke">Cocke</a> |

1988: <a href="Ivan_Sutherland" title="Ivan Sutherland">Sutherland</a> |

1989: <a href="William_Kahan" title="William Kahan">Kahan</a> |

1990: <a href="Fernando_Jos%C3%A9_Corbat%C3%B3" title="Fernando José Corbató">Corbató</a> |

1991: <a href="Robin_Milner" title="Robin Milner">Milner</a> |

1992: <a href="Butler_Lampson" title="Butler Lampson">Lampson</a> |

1993: <a href="Juris_Hartmanis" title="Juris Hartmanis">Hartmanis</a>, <a href="Richard_E._Stearns" title="Richard E. Stearns">Stearns</a> |

1994: <a href="Edward_Feigenbaum" title="Edward Feigenbaum">Feigenbaum</a>, <a href="Raj_Reddy" title="Raj Reddy">Reddy</a> |

1995: <a href="Manuel_Blum" title="Manuel Blum">Blum</a> |

1996: <a href="Amir_Pnueli" title="Amir Pnueli">Pnueli</a> |

1997: <a href="Douglas_C._Engelbart" title="Douglas C. Engelbart">Engelbart</a> |

1998: <a href="Jim_Gray" title="Jim Gray">Gray</a> |

1999: <a href="Frederick_P._Brooks" title="Frederick P. Brooks">Brooks</a> |

2000: <a href="Andrew_Yao" title="Andrew Yao">Yao</a> |

2001: <a href="Ole-Johan_Dahl" title="Ole-Johan Dahl">Dahl</a>, <a href="Kristen_Nygaard" title="Kristen Nygaard">Nygaard</a> |

2002: <a href="Ronald_L._Rivest" title="Ronald L. Rivest">Rivest</a>, <a href="Adi_Shamir" title="Adi Shamir">Shamir</a>, <a href="Leonard_Adleman" title="Leonard Adleman">Adleman</a> |

2003: <a href="Alan_Kay" title="Alan Kay">Kay</a> |

2004: <a href="Vinton_G._Cerf" title="Vinton G. Cerf">Cerf</a>, <a href="Robert_E._Kahn" title="Robert E. Kahn">Kahn</a> |

2005: <a href="Peter_Naur" title="Peter Naur">Naur</a> |

2006: <a href="Frances_E._Allen" title="Frances E. Allen">Allen</a> |

2007: <a href="Edmund_M._Clarke" title="Edmund M. Clarke">Clarke</a>, <a href="Allen_Emerson" title="Allen Emerson">Emerson</a>, <a href="Joseph_Sifakis" title="Joseph Sifakis">Sifakis</a> |

2008: <a href="Barbara_Liskov" title="Barbara Liskov">Liskov</a> |

2009: <a href="Charles_P._Thacker" title="Charles P. Thacker">Thacker</a> |

2010: <a href="Leslie_Valiant" title="Leslie Valiant">Valiant</a> |

2011: <a href="Judea_Pearl" title="Judea Pearl">Pearl</a> |

2012: <a href="Silvio_Micali" title="Silvio Micali">Micali</a>, <a href="Shafrira_Goldwasser" title="Shafrira Goldwasser">Goldwasser</a> |

2013: <a href="Leslie_Lamport" title="Leslie Lamport">Lamport</a> |

2014: <a href="Michael_Stonebraker" title="Michael Stonebraker">Stonebraker</a> |

2015: <a href="Whitfield_Diffie" title="Whitfield Diffie">Diffie</a>, <a href="Martin_Hellman" title="Martin Hellman">Hellman</a> |

2016: <a href="Tim_Berners-Lee" title="Tim Berners-Lee">Berners-Lee</a> |

2017: <a href="John_L._Hennessy" title="John L. Hennessy">Hennessy</a>, <a href="David_A._Patterson" title="David A. Patterson">Patterson</a> |

2018: <a href="Geoffrey_Hinton" title="Geoffrey Hinton">Hinton</a>, <a href="Yann_LeCun" title="Yann LeCun">LeCun</a>, <a href="Yoshua_Bengio" title="Yoshua Bengio">Bengio</a> |

2019: <a href="Edwin_Catmull" title="Edwin Catmull">Catmull</a>, <a href="Pat_Hanrahan" title="Pat Hanrahan">Hanrahan</a> |

2020: <a href="Alfred_V._Aho" title="Alfred V. Aho">Aho</a>, <a href="Jeffrey_Ullman" title="Jeffrey Ullman">Ullman</a> |

2021: <a href="Jack_Dongarra" title="Jack Dongarra">Dongarra</a> |

2022: <a href="Robert_Metcalfe" title="Robert Metcalfe">Metcalfe</a> |

2023: <a href="Avi_Wigderson" title="Avi Wigderson">Wigderson</a> |

2024: <a href="Andrew_Barto" title="Andrew Barto">Barto</a>, <a href="Richard_S._Sutton" title="Richard S. Sutton">Sutton</a>

</p>

</div></div>

<div>

Normdaten (Person): <a href="Gemeinsame_Normdatei" title="Gemeinsame Normdatei">GND</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://d-nb.info/gnd/12988037X">12988037X</a></span> | <a href="Library_of_Congress_Control_Number" title="Library of Congress Control Number">LCCN</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://id.loc.gov/authorities/n93027960">n93027960</a></span> | <a href="Virtual_International_Authority_File" title="Virtual International Authority File">VIAF</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://viaf.org/viaf/9939181/">9939181</a></span> | </div>

</div></div>

</div><div><div class="zim-footer">

Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2022-05-22" href="https://de.wikipedia.org/wiki/?title=Robert_Floyd&oldid=223073881">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.

</div>

</div></div>

</div>

</main>

</div>

</body></html>